Comments to Yao and Zou on: “Hybrid Categorial Type Logics and the Formal Treatment of Chinese”
نویسنده
چکیده
The paper “Hybrid Categorial Type Logics and the Formal Treatment of Chinese” presents the modeling of several linguistic phenomena occurring in Chinese. It relies on the formal framework of Hybrid Categorial Logics (HCL). This framework takes benefit from the ability to parametrize resource-sensitive logical systems with structural properties (such as associativity and commutativity), resulting in four systems:
منابع مشابه
A Fully Internalized Sequent Calculus for Hybrid Categorial Logics
In this paper, a sequent calculus for a hybrid categorial type logic (HCTL) is obtained following Seligman’s internalization strategy (Seligman 2001). With this strategy, a sequent calculus for a hybrid language can be developed starting from a first order sequent calculus. Seligman exemplifies his strategy developing a calculus for hybrid modal logics, but rises the question of whether the str...
متن کاملCategorial Grammars and Substructural Logics
Substructural logics are formal logics whose Gentzen-style sequent systems abandon some/all structural rules (Weakening, Contraction, Exchange, Associativity). They have extensively been studied in current literature on nonclassical logics from different points of view: as sequent axiomatizations of relevant, multiple-valued and fuzzy logics [73, 44], as so-called resource-sensitive logics for ...
متن کاملP-125: Identification of Novel Missense Mutations of The TGFBR3 Gene in Chinese Women with Premature Ovarian Failure
Background The aim of this study was to assess the ssociation between human transforming growth factor b receptor,type III (TGFBR3) and idiopathic premature ovarian failure (POF) in a Chinese population. MaterialsAndMethods A total of 112 Chinese women with idiopathic POF and 110 normal controls were examined. DNA samples prepared from blood leukocytes were used as templates for polymerase-chai...
متن کاملA General Framework for Hybrid Substructural Categorial Logics
Some recent categorial proposals have employed structural modalities, modal operators which allow explicit management of resource sensitivity in linguistic derivation. Various theoretical, computational and practical problems arise for the use of such operators. I propose an alternative general model of hybrid substructural systems, in which different substructural logics (i.e. logics differing...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013